Foundations of Semantic Web Technologies
نویسندگان
چکیده
Exercise 8.1. Transform the following concepts into negation normal form: (a) ¬(A u ∀r.B) (b) ¬∀r.∃s.(¬B t ∃r.A) (c) ¬((¬A u ∃r.>) t> 3 s.(A t ¬B)) Exercise 8.2. Apply the tableau algorithm in order to check if the axiom A v B is a logical consequence of the TBox {¬C v B,A u C v ⊥}. Exercise 8.3. Aply the tableau algorithm in order to check satisfiability of the concept A u ∀r.B w.r.t. the TBox {A v ∃r.A,B v ∃r−.C, C v ∀r.∀r.B}. Exercise 8.4. Markus wants to apply the tableau algorithm for checking the satisfiability of the concept B u ∃r−.A w.r.t. the TBox {A v ∃r−.A u ∃r.B,> v6 1 r}. He arrives at the situation depicted below and concludes that no further rules are applicable, since v2 is blocked by v1. What is Markus’ error? Continue the algorithm until its termination. (You don’t have to illustrate all intermediate steps, just provide the final state.) v0
منابع مشابه
AHP Techniques for Trust Evaluation in Semantic Web
The increasing reliance on information gathered from the web and other internet technologies raise the issue of trust. Through the development of semantic Web, One major difficulty is that, by its very nature, the semantic web is a large, uncensored system to which anyone may contribute. This raises the question of how much credence to give each resource. Each user knows the trustworthiness of ...
متن کاملSemantic web technologies as the foundation for the information infrastructure
The Semantic Web is arising over the pas few years as a realistic option for a world wide Information Infrastructure, with its promises of semantic interoperability and serendipitous reuse. In this paper we will analyse the essential ingredients of semantic technologies, what makes them suitable as the foundation for the Information Infrastructure, and what the alternatives to semantic technolo...
متن کاملAHP Techniques for Trust Evaluation in Semantic Web
The increasing reliance on information gathered from the web and other internet technologies raise the issue of trust. Through the development of semantic Web, One major difficulty is that, by its very nature, the semantic web is a large, uncensored system to which anyone may contribute. This raises the question of how much credence to give each resource. Each user knows the trustworthiness of ...
متن کاملPan-European E-Government Services on the Semantic Web Services
Integrated e-government in the European Union requires good conceptual and technological foundations. Aligned with the European e-government strategy, we present how infrastructure for national as well as cross-country e-government services can be facilitated by the Semantic Web Services concepts and technologies. With respect to this infrastructure, we identify key topics for our research.
متن کاملInfrastructure for the Semantic Pan-European E-Government Services
Integrated e-government in the European Union requires good conceptual and technological foundations. Aligned with the European e-government strategy, we present how infrastructure for national as well as cross-country egovernment services can be facilitated by the Semantic Web Services concepts and technologies. With respect to this infrastructure, we identify our key topics for our research.
متن کاملSimulation Brokering on the Semantic Web : Foundations for a Dynamic Composability Approach
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated simulation is to facilitate composable simulations by standardizing interfaces to enable at least the technical interoperability among disparate simulations. Yet, existing federated simulation infrastructures neither faci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010